Property abstract

Results: 804



#Item
101Decomposition width—a new width parameter for matroids Daniel Kr´al’∗ Abstract We introduce a new width parameter for matroids called decomposition width and prove that every matroid property expressible in

Decomposition width—a new width parameter for matroids Daniel Kr´al’∗ Abstract We introduce a new width parameter for matroids called decomposition width and prove that every matroid property expressible in

Add to Reading List

Source URL: iti.mff.cuni.cz

Language: English - Date: 2016-02-04 05:53:37
    102Region Counting Graphs Jean Cardinal∗ S´ebastien Collette†  Abstract

    Region Counting Graphs Jean Cardinal∗ S´ebastien Collette† Abstract

    Add to Reading List

    Source URL: www.ulb.ac.be

    Language: English - Date: 2011-02-08 09:21:41
    103Satisfiability Coding Lemma Ramamohan Paturit, Pave1 Pud1d.k: and Francis Zanet Abstract  property, the Satisfiability Coding Lemma, of the set of

    Satisfiability Coding Lemma Ramamohan Paturit, Pave1 Pud1d.k: and Francis Zanet Abstract property, the Satisfiability Coding Lemma, of the set of

    Add to Reading List

    Source URL: cseweb.ucsd.edu

    Language: English - Date: 2013-09-30 18:13:07
      104ON THE DEFINITION AND K-THEORY REALIZATION OF A MODULAR FUNCTOR IGOR KRIZ AND LUHANG LAI  Abstract. We present a definition of a (super)-modular functor

      ON THE DEFINITION AND K-THEORY REALIZATION OF A MODULAR FUNCTOR IGOR KRIZ AND LUHANG LAI Abstract. We present a definition of a (super)-modular functor

      Add to Reading List

      Source URL: www.math.lsa.umich.edu

      Language: English - Date: 2014-10-16 18:16:03
      105Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency Ran Canetti? IBM Research  Abstract. A security property of a protocol is composable if it remains

      Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency Ran Canetti? IBM Research Abstract. A security property of a protocol is composable if it remains

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      Language: English - Date: 2008-11-05 15:38:29
        106COUNTABLE MARKOV SHIFTS WITH TRANSIENT POTENTIALS VAN CYR Abstract. We define a simple property on an infinite directed graph G and show that it is necessary and sufficient for the existence of a transient potential on t

        COUNTABLE MARKOV SHIFTS WITH TRANSIENT POTENTIALS VAN CYR Abstract. We define a simple property on an infinite directed graph G and show that it is necessary and sufficient for the existence of a transient potential on t

        Add to Reading List

        Source URL: www.facstaff.bucknell.edu

        Language: English - Date: 2013-08-15 09:54:28
          107STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

          STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

          Add to Reading List

          Source URL: www.math.lsa.umich.edu

          Language: English - Date: 2008-08-29 14:50:35
          108Three Theories of Copyright in Ratings James Grimmelmann* ABSTRACT Are ratings copyrightable? The answer depends on what ratings are. As a history of copyright in ratings shows, some courts treat them

          Three Theories of Copyright in Ratings James Grimmelmann* ABSTRACT Are ratings copyrightable? The answer depends on what ratings are. As a history of copyright in ratings shows, some courts treat them

          Add to Reading List

          Source URL: james.grimmelmann.net

          Language: English - Date: 2014-12-30 02:27:42
          109The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it

          The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it

          Add to Reading List

          Source URL: www.monad.me.uk

          Language: English - Date: 2009-02-13 17:08:23
            110Every Property of Hyperfinite Graphs is Testable [Extended Abstract] Ilan Newman ∗

            Every Property of Hyperfinite Graphs is Testable [Extended Abstract] Ilan Newman ∗

            Add to Reading List

            Source URL: ls2-www.cs.uni-dortmund.de

            Language: English - Date: 2011-03-29 02:15:01